Non-Commutative Gröbner Bases in Poincaré-Birkhoff-Witt Extensions
نویسندگان
چکیده
Commutative Gröbner Bases are a well established technique with many applications, including polynomial solving and constructive approaches to commutative algebra and algebraic geometry. Noncommutative Gröbner Bases are a focus of much recent research activity. For example, combining invariant theory and elimination theory, or elimination in moving frames of partial differential operators invariant under an equivalence group, requires the use of noncommutative Gröbner bases. This paper presents theory and algorithms for noncommutative Gröbner bases in PoincaréBirkhoff-Witt extensions. These extension rings generalize the previous domains over which noncommutative Gröbner bases have been applied. Our approach to noncommutative Gröbner bases differs from previous work which assumes that the coefficients are from a field or commutative ring. In applications such as Cartan’s method of moving frames, this is not the case, and the theory that we present can be applied.
منابع مشابه
Computation of Non-commutative Gröbner Bases in Grassmann and Clifford Algebras
Tensor, Clifford and Grassmann algebras belong to a wide class of non-commutative algebras that have a Poincaré-Birkhoff-Witt (PBW) “monomial” basis. The necessary and sufficient condition for an algebra to have the PBW basis has been established by T. Mora and then V. Levandovskyy as the so called “non-degeneracy condition”. This has led V. Levandovskyy to a re-discovery of the so called G-alg...
متن کاملUniversal property of skew P BW extensions
In this paper we prove the universal property of skew PBW extensions generalizing this way the well known universal property of skew polynomial rings. For this, we will show first a result about the existence of this class of non-commutative rings. Skew PBW extensions include as particular examples Weyl algebras, enveloping algebras of finite-dimensional Lie algebras (and its quantization), Art...
متن کاملDegree bounds for Gröbner bases in algebras of solvable type
We establish doubly-exponential degree bounds for Gröbner bases in certain algebras of solvable type over a field (as introduced by Kandri-Rody and Weispfenning). The class of algebras considered here includes commutative polynomial rings, Weyl algebras, and universal enveloping algebras of finite-dimensional Lie algebras. For the computation of these bounds, we adapt a method due to Dubé based...
متن کاملPoincaré-birkhoff-witt Deformations of Smash Product Algebras from Hopf Actions on Koszul Algebras
Let H be a Hopf algebra and let B be a Koszul H-module algebra. We provide necessary and sufficient conditions for a filtered algebra to be a Poincaré-Birkhoff-Witt (PBW) deformation of the smash product algebra B#H. Many examples of these deformations are given.
متن کامل